function a -> () | b -> ()
